==Kanonische konjunktive Normalform== Eine kanonische konjunktive Normalform (KKNF) besteht aus paarweise verschiedenen Maxtermen. In jedem dieser Maxterme kommt jede Variable genau einmal vor. Jede Boolesche Funktion besitzt genau eine KKNF. Die KKNF wird auch vollständige kanonische Normalform genannt. == Bildung == Jede Formel der Aussagenlogi...